If <i>K</i> is a group satisfying the defining relations of a finite group <i>G</i> and |<i>K</i>|&#8805|<i>G</I>|, then <i>K</i> is isomorphic to <I>G</i>.